An element <i>a</i> in a field  extension of a field <i>F</I>  is called <i>transcendental</i>  over <i>F</i> if it is not the zero of some nonzero polynomial in <i>F</i>[<i>x</i>].